State/Event-based Software Model
نویسندگان
چکیده
منابع مشابه
Designing a model for holding mega sport events with an emphasis on national brand development
The present study seeks a model for holding major sporting events with an emphasis on national brand development. The research method is a mixture of qualitative and quantitative. In the quantitative part, the statistical population, including professors and sports activists, and the statistical sample was done by stratified random sampling. Adequate number for modeling in pls software was 300 ...
متن کاملAnalysis of Applying Event-triggered Strategy on the Model Predictive Control
In this paper, the event-triggered strategy in the case of finite-horizon model predictive control (MPC) is studied and its advantages over the input to state stability (ISS) Lyapunov based triggering rule is discussed. In the MPC triggering rule, all the state trajectories in the receding horizon are considered to obtain the triggering rule. Clearly, the finite horizon MPC is sub-optimal with ...
متن کاملState space reduction for state-based and event-based models of Software Product Lines
In times where there is an increasing demand for individualized software products, the pop-ularity of Software Product Line Engineering (SPLE) as a software engineering paradigm isgrowing. As SPLE is being applied for the development of safety critical systems, being able toperform model checking for the verification of software product lines (SPL) is desirable.This thesis consi...
متن کاملState/Event-Based Software Model Checking
We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also integrates two powerful verification techniques, counterexample-guided abstraction refinement and compositional reasoning. Our specification language is a state/event extension of linear temporal logic, and allows us to express ...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملRefactoring Using Event-based Profiling
Refactoring is a disciplined process of restructuring software code in order to improve it, e.g., to make it more reusable, reliable and maintainable. The source of information that guides the refactoring process may be the software’s user profiles. An increasingly important class of software is event-based software. Event-based software take an event as an input, change their state, and perhap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004